|
Samočinné testování mikrokontrolerů
Denk, Filip ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Práce se zabývá funkční bezpečností elektronických systémů. Konkrétně se zaměřuje na samočinné testování mikroprocesoru a jeho periferií na softwarové úrovni. Cílem práce je navrhnout a implementovat soubor funkcí v jazyce C nebo v jazyce symbolických adres, které samočinně testují zvolené oblasti mikrokontroléru. Prostředky a metody použité v implementovaném řešení si také kladou za cíl splnit požadavky popsané v normě IEC 60730-1, příloha H, softwarová třída B. Zvolenou hardwarovou platformou je mikrokontrolér NXP LPC55S69, jež obsahuje dvě jádra ARM Cortex-M33. Výsledkem je demonstrační aplikace, která v průběhu vykonávání využívá implementované testovací funkce. Součástí je také uživatelské prostředí s možností injekce chyb.
|
|
Rozšiřující modul s dekodérem souborů MP3 pro platformu FITkit
Brada, Miroslav ; Bartoš, Pavel (oponent) ; Šimek, Václav (vedoucí práce)
Cílem tohoto projektu je vytvoření modulu, který by rozšířil možnosti platformy FITkit o dekódování souborů formátu MP3. Práce shrnuje poznatky o současných formátech kódování zvuku, dostupných dekodérech a platformě FITkit. V pozdější části je popsán postup návrhu rozšiřujícího modulu této platformy, který byl nakonec zrealizován i když neúspěšně. Modul využívá kodek VS1063. V závěru jsou popsány možnosti dalšího rozšíření projektu v případě úspěšné realizace.
|
|
On The Efficiency Of Precise Fault Localization And Identification In No
Valachovič, Marek
The paper joins the Bonfire NoC model, desrcibed in VHDL, together with a method of the precise localization and identification of faults in NoC and sums up a few findings about the efficiency of fault-tolerant NoC employing the method. A special focus is given to the area overhead and the mean time between failures in the presence of no or one permanent fault and some transient faults.
|
|
Samočinné testování mikrokontrolerů
Denk, Filip ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Práce se zabývá funkční bezpečností elektronických systémů. Konkrétně se zaměřuje na samočinné testování mikroprocesoru a jeho periferií na softwarové úrovni. Cílem práce je navrhnout a implementovat soubor funkcí v jazyce C nebo v jazyce symbolických adres, které samočinně testují zvolené oblasti mikrokontroléru. Prostředky a metody použité v implementovaném řešení si také kladou za cíl splnit požadavky popsané v normě IEC 60730-1, příloha H, softwarová třída B. Zvolenou hardwarovou platformou je mikrokontrolér NXP LPC55S69, jež obsahuje dvě jádra ARM Cortex-M33. Výsledkem je demonstrační aplikace, která v průběhu vykonávání využívá implementované testovací funkce. Součástí je také uživatelské prostředí s možností injekce chyb.
|
|
Rozšiřující modul s dekodérem souborů MP3 pro platformu FITkit
Brada, Miroslav ; Bartoš, Pavel (oponent) ; Šimek, Václav (vedoucí práce)
Cílem tohoto projektu je vytvoření modulu, který by rozšířil možnosti platformy FITkit o dekódování souborů formátu MP3. Práce shrnuje poznatky o současných formátech kódování zvuku, dostupných dekodérech a platformě FITkit. V pozdější části je popsán postup návrhu rozšiřujícího modulu této platformy, který byl nakonec zrealizován i když neúspěšně. Modul využívá kodek VS1063. V závěru jsou popsány možnosti dalšího rozšíření projektu v případě úspěšné realizace.
|